Dexter Kozen：在 Z-Library 上搜索

年:

2012

語言:

english

文件:

PDF, 23.56 MB

0 / 0

english, 2012

Theory of Computation.

Independely Published

年:

2006

語言:

english

文件:

PDF, 3.56 MB

0 / 0

english, 2006

Automata and Computability (Undergraduate Texts in Computer Science)

年:

2012

語言:

english

文件:

PDF, 21.58 MB

0 / 5.0

english, 2012

The Design and Analysis of Algorithms

年:

1992

語言:

english

文件:

DJVU, 2.19 MB

0 / 0

english, 1992

The Design and Analysis of Algorithms

Ian Mackie & Samson Abramsky & Chris Hankin & Mike Hinchey & Dexter C. Kozen & Hanne Riis Nielson & Steven S. Skiena & Iain Stewart & Joseph Migga Kizza & Roy Crole & Elizabeth Scott & Gerard O’Regan

年:

1992

語言:

english

文件:

PDF, 5.14 MB

0 / 0

english, 1992

Dynamic Logic (Foundations of Computing)

The MIT Press

David Harel, Dexter Kozen, Jerzy Tiuryn

年:

2000

語言:

english

文件:

PDF, 2.24 MB

5.0 / 0

english, 2000

Dynamic Logic

MIT

David Harel, Dexter Kozen, Jerzy Tiuryn

年:

2000

語言:

english

文件:

PDF, 1.71 MB

5.0 / 0

english, 2000

Ethical and Legal Aspects of Computing

年:

2024

語言:

english

文件:

PDF, 5.90 MB

0 / 4.0

english, 2024

Automata and Computability

Dexter Kozen

語言:

english

文件:

PDF, 19.44 MB

0 / 0

english

Theory of Computation

年:

2006

語言:

english

文件:

PDF, 2.88 MB

0 / 5.0

english, 2006

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Greg Nelson (auth.), Dexter Kozen (eds.)

年:

2004

語言:

english

文件:

PDF, 6.51 MB

0 / 0

english, 2004

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Jean-Baptiste Jeannin, Dexter Kozen (auth.), Martin Kutrib, Nelma Moreira, Rogério Reis (eds.)

年:

2012

語言:

english

文件:

PDF, 4.16 MB

0 / 0

english, 2012

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Greg Nelson (auth.), Dexter Kozen (eds.)

年:

2004

語言:

english

文件:

PDF, 3.26 MB

0 / 0

english, 2004

Automata and Computability

年:

2013

語言:

english

文件:

PDF, 23.50 MB

0 / 0

english, 2013

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)

年:

1982

語言:

english

文件:

DJVU, 4.66 MB

0 / 0

english, 1982

Dynamic Logic

MIT Press

David Harel & Dexter Kozen & Jerzy Tiuryn

年:

2000

語言:

english

文件:

PDF, 2.57 MB

0 / 0

english, 2000

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

年:

1994

語言:

english

文件:

DJVU, 2.87 MB

0 / 0

english, 1994

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)

年:

1982

語言:

english

文件:

PDF, 10.98 MB

0 / 0

english, 1982

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Jean-Baptiste Jeannin, Dexter Kozen (auth.), Martin Kutrib, Nelma Moreira, Rogério Reis (eds.)

年:

2012

語言:

english

文件:

PDF, 3.95 MB

0 / 0

english, 2012

The Design and Analysis of Algorithms

年:

1992

語言:

english

文件:

PDF, 5.14 MB

0 / 5.0

english, 1992

Automata and Computability

年:

1977

語言:

english

文件:

PDF, 40.97 MB

0 / 0

english, 1977

Automata and Computability

年:

1997

語言:

english

文件:

DJVU, 2.29 MB

0 / 4.0

english, 1997

Automata and Computability

年:

2012

語言:

english

文件:

PDF, 4.41 MB

0 / 1.0

english, 2012

Automata and Computability

年:

2012

語言:

english

文件:

PDF, 21.67 MB

0 / 0

english, 2012

Foundation of Software Technology and Theoretical Computer Science: 14th Conference Madras, India, December 15–17, 1994 Proceedings

Dexter Kozen (auth.), P. S. Thiagarajan (eds.)

年:

1994

語言:

english

文件:

DJVU, 5.60 MB

0 / 0

english, 1994

Logic of Programs: Workshop, ETH Zürich, May–July 1979

Dexter Kozen (auth.), Erwin Engeler (eds.)

年:

1981

語言:

english

文件:

DJVU, 2.55 MB

0 / 0

english, 1981

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

年:

1984

語言:

english

文件:

DJVU, 5.98 MB

0 / 0

english, 1984

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

年:

1984

語言:

english

文件:

PDF, 14.67 MB

0 / 0

english, 1984

Logic of Programs: Workshop, ETH Zürich, May–July 1979